Systems design - PDFSEARCH.IO - Document Search Engine

Systems design
Results: 11955

#	Item
11	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-25 05:07:53 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
12	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2013-10-04 14:46:58 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
13	Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:27:58 Mathematical analysis Measure theory Ergodic theory Lie algebras Stochastic processes
14	Imitation Learning of Hierarchical Programs via Variational Inference Roy Fox * 1 Richard Shin * 1 Pieter Abbeel 1 Ken Goldberg 1 2 Dawn Song 1 Ion Stoica 1 The design of controllers that operate in dynamical systems to Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Artificial intelligence Computational neuroscience Machine learning Learning Artificial neural networks Market research Convolutional neural network Outline of machine learning MNIST database Supervised learning Variational Bayesian methods Bayesian network
15	NSDI ’16: 13th USENIX Symposium on Networked Systems Design and Implementation March 16–18, 2016 Santa Clara, CA Message from the Program Co-Chairs. . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: www.usenix.org Language: English - Date: 2017-07-14 07:19:47 Higher education in China Computer science Ion Stoica Science and technology in the United States Databricks Ali Ghodsi Matei Zaharia Hari Balakrishnan Scott Shenker Tsinghua University Microsoft Research Carnegie Mellon University
16	A Parallel Identification Protocol for RFID Systems Linghe Kong∗† , Liang He∗ , Yu Gu∗ , Min-You Wu† , Tian He‡ ∗ Singapore University of Technology and Design, Singapore † Shanghai Jiao Tong University, Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:02:36 Radio-frequency identification Automatic identification and data capture Privacy Ubiquitous computing Wireless Mobile RFID SAM Computing Technology Data
17	NSDI ’18: 15th USENIX Symposium on Networked Systems Design and Implementation April 9–11, 2018 Renton, WA, USA New Hardware Add to Reading List Source URL: www.usenix.org Language: English - Date: 2018-03-08 20:36:19 Higher education in China Education in China C9 League Project 211 Project 985 Scott Shenker Sylvia Ratnasamy University of Science and Technology of China Hari Balakrishnan Microsoft Research University of California Berkeley Ion Stoica
18	Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Errata Slip In the paper “Be Fast, Cheap and in Control with SwitchKV” by Xiaozhou Li and Raghav Sethi, Princeton Add to Reading List Source URL: www.usenix.org Language: English - Date: 2017-07-14 07:19:47
19	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-04 14:48:40 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
20	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-09-12 07:46:02 Mathematical optimization Systems science Engineering Analysis Vilfredo Pareto Design of experiments Systems engineering Engineering statistics Pareto efficiency Optimal design PRISM model checker Reliability engineering